natural deduction

[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎
[网络] 自然演绎法;自然推理